/* SPDX-FileCopyrightText: 2024 Google LLC */
/* SPDX-License-Identifier: Apache-2.0 */

void* app_state_get_rand_ptr(void) { return NULL; }
void* worker_state_get_rand_ptr(void) { return NULL; }
